CoCoME in Fractal

Modelling the CoCoME with the Java/AComponent Model

CoCoME in SOFA

This chapter presents our solution to the CoCoME assignment that is based on the SOFA 2.0 (SOFtware Appliances) hierarchical component model. The solution involves (i) modeling architecture in SOFA meta-model, (ii) specification of component behavior via extended behavior protocols, (iii) checking behavior compliance of components, (iv) verification of correspondence between selected component ...

Defining a Security-Oriented Evolution Scenario for the CoCoME

Information systems are subject to continuous change. In order to conduct empirical research on methods for software evolution, CoCoME was developed as a community-driven case study system. It is, however, not suitable for the validation of security-related approaches, as neither security nor privacy have been addressed in any evolution scenario. We elicited 53 security requirements coming from...

Modelling with Relational Calculus of Object and Component Systems - rCOS

This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus of Object and Component Systems (rCOS). We give a model of requirements based on an abstraction of the use cases described in Chapter 3.2. Then the refinement calculus of rCOS is used to derive design models corresponding to the ...

The Application of fractal dimension and morphometric properties of drainage networks in the analysis of formation sensibility in arid areas (Case Study, Yazd-Ardakan Basin)

Introduction: Many natural phenomena have many variables that make it difficult to find relationships between them using common mathematical methods. This problem, along with the impossibility of measuring all elements of nature, has led to a major evolution in the way of understanding and explaining phenomena. In this way, one can use the fractal geometry with the theory that many natural phen...